$\forall$$T$:Type, $L_{1}$, $L_{2}$:$T$ List. interleaving($T$;$L_{1}$;$L_{2}$;nil) $\Leftrightarrow$ $L_{1}$ $=$ nil \& $L_{2}$ $=$ nil